class Test
create
    make
feature
    a : STRING
    
    make
    do
    end
    
    test1 alias "[]:="(a : INTEGER; B : STRING)
    do
        Current.a:=b;
    end
    
    test2 alias "[]"(a : INTEGER) : STRING
    do
        Result:=Current.a
    end
end    


class APP
feature
      INIT()
      local
           a : Test
           b : ARRAY[STRING]
      do
        !! a.make;
        !! b.make(5)
        b[0]:="HELLO WORLD!"
        a[0]:="HELLO WORLD!"
        std_output.put_string(a[0])
        std_output.put_string(b[0])
      end
end